RESULTS

The BITSAVERS.ORG Documents Library 8

The BITSAVERS.ORG Documents Library: Massachusetts Institute of Technology 8

VEW Favorites 5

Community Video 5

American Libraries 4

Department of Defense 3

FEDLINK - United States Federal Collection 3

National Security Internet Archive (NSIA) 3

Naval Postgraduate School, Dudley Knox Library 3

Community Texts 2

Piet Delport Favorites 1

Community Audio 1

University of Illinois Urbana-Champaign 1

The BITSAVERS.ORG Documents Library: Massachusetts Institute of Technology 8

VEW Favorites 5

Community Video 5

American Libraries 4

Department of Defense 3

FEDLINK - United States Federal Collection 3

National Security Internet Archive (NSIA) 3

Naval Postgraduate School, Dudley Knox Library 3

Community Texts 2

Piet Delport Favorites 1

Community Audio 1

University of Illinois Urbana-Champaign 1

lambda calculus 9

lambda 6

combinatory logic 5

lambda-calculus 5

expression evaluation 4

theory of computation 4

LAMBDA CALCULUS. 3

actor 3

artificial intelligence 3

calculus 3

lambda expressions 3

programming 3

Lambda Calculus 2

actor model 2

actors 2

behavior 2

control structure 2

expression 2

function 2

lambda expression 2

message 2

steele 2

sussman 2

systems 2

ALGORITHMS. 1

ALGORITHMS.,LAMBDA CALCULUS.,MATHEMATICAL ANALYSIS--FOUNDATIONS. 1

Algorithm 1

Applicative computations 1

Artificial Chemistry 1

CALCULUS. 1

CALCULUS.,LAMBDA CALCULUS.,MATHEMATICAL ANALYSIS.,LOGIC, SYMBOLIC AND MATHEMATICAL. 1

Computation 1

Directed graphs 1

Drone 1

Embeddings (Mathematics) 1

GULCII 1

Hyperspace Exploration 1

LISP (COMPUTER PROGRAM LANGUAGE) 1

LIST PROCESSING (ELECTRONIC COMPUTERS) 1

LOGIC, SYMBOLIC AND MATHEMATICAL. 1

Lambda calculus 1

Live Coding 1

MATHEMATICAL ANALYSIS--FOUNDATIONS. 1

MATHEMATICAL ANALYSIS. 1

Noise 1

PROGRAMMING LANGUAGES (ELECTRONIC COMPUTERS)--SEMANTICS. 1

PROGRAMMING LANGUAGES (ELECTRONIC COMPUTERS)--SEMANTICS.,PROGRAMMING LANGUAGES (ELECTRONIC COMPUTERS)--SYNTAX.,LISP (COMPUTER PROGRAM LANGUAGE),LIST PROCESSING (ELECTRONIC COMPUTERS),LAMBDA CALCULUS. 1

PROGRAMMING LANGUAGES (ELECTRONIC COMPUTERS)--SYNTAX. 1

RDEX 1

Trees (Graph theory) 1

Visualisation 1

actor systems 1

actor transmission 1

apiary 1

applicative 1

applicative language 1

applicative languages 1

architecture 1

architectures 1

artificial 1

assignment 1

axiom schemes 1

axioms 1

beta conversion 1

binary predicate 1

boolean shape 1

bound variables 1

bruijn 1

bruijn indices 1

categorical abstract machine 1

combinatory 1

combinatory model 1

control 1

control structures 1

cross diamond 1

description 1

description logic 1

description logics 1

design issues 1

domain 1

environment 1

epsilon 1

escape function 1

evaluator 1

event diagram 1

event diagrams 1

expressions 1

factorial 1

figure 1

fluid variables 1

formula 1

formulas 1

free variables 1

functions 1

hewitt 1

imperative 1

implementation 1

intelligence 1

intelligence laboratory 1

intelligence systems 1

interpreter 1

lemma 1

lexically scoped 1

lisp 1

lisp function 1

logic 1

logic programming 1

massachusetts institute 1

message passing 1

natural numbers 1

normal 1

normal form 1

normal forms 1

notion 1

open 1

open system 1

open systems 1

parallel 1

parallel architectures 1

passing messages 1

passing semantics 1

plasma 1

predicate 1

primitive operator 1

primitive operators 1

problem solving 1

process 1

programming language 1

programming languages 1

proof system 1

recursive 1

reducible 1

reduction 1

reduction sequence 1

reduction step 1

reference manual 1

role 1

role logic 1

scheme 1

semantic 1

semantics 1

shape analysis 1

shared memory 1

shared resources 1

side effects 1

steele december 1

structure 1

substitution semantics 1

sussman march 1

term 1

theorem 1

translation 1

type 1

type error 1

type errors 1

typed lambda 1

ultimate 1

ultimate imperative 1

unary function 1

unary predicate 1

variable 1

variables 1

von neumann 1

lambda 6

combinatory logic 5

lambda-calculus 5

expression evaluation 4

theory of computation 4

LAMBDA CALCULUS. 3

actor 3

artificial intelligence 3

calculus 3

lambda expressions 3

programming 3

Lambda Calculus 2

actor model 2

actors 2

behavior 2

control structure 2

expression 2

function 2

lambda expression 2

message 2

steele 2

sussman 2

systems 2

ALGORITHMS. 1

ALGORITHMS.,LAMBDA CALCULUS.,MATHEMATICAL ANALYSIS--FOUNDATIONS. 1

Algorithm 1

Applicative computations 1

Artificial Chemistry 1

CALCULUS. 1

CALCULUS.,LAMBDA CALCULUS.,MATHEMATICAL ANALYSIS.,LOGIC, SYMBOLIC AND MATHEMATICAL. 1

Computation 1

Directed graphs 1

Drone 1

Embeddings (Mathematics) 1

GULCII 1

Hyperspace Exploration 1

LISP (COMPUTER PROGRAM LANGUAGE) 1

LIST PROCESSING (ELECTRONIC COMPUTERS) 1

LOGIC, SYMBOLIC AND MATHEMATICAL. 1

Lambda calculus 1

Live Coding 1

MATHEMATICAL ANALYSIS--FOUNDATIONS. 1

MATHEMATICAL ANALYSIS. 1

Noise 1

PROGRAMMING LANGUAGES (ELECTRONIC COMPUTERS)--SEMANTICS. 1

PROGRAMMING LANGUAGES (ELECTRONIC COMPUTERS)--SEMANTICS.,PROGRAMMING LANGUAGES (ELECTRONIC COMPUTERS)--SYNTAX.,LISP (COMPUTER PROGRAM LANGUAGE),LIST PROCESSING (ELECTRONIC COMPUTERS),LAMBDA CALCULUS. 1

PROGRAMMING LANGUAGES (ELECTRONIC COMPUTERS)--SYNTAX. 1

RDEX 1

Trees (Graph theory) 1

Visualisation 1

actor systems 1

actor transmission 1

apiary 1

applicative 1

applicative language 1

applicative languages 1

architecture 1

architectures 1

artificial 1

assignment 1

axiom schemes 1

axioms 1

beta conversion 1

binary predicate 1

boolean shape 1

bound variables 1

bruijn 1

bruijn indices 1

categorical abstract machine 1

combinatory 1

combinatory model 1

control 1

control structures 1

cross diamond 1

description 1

description logic 1

description logics 1

design issues 1

domain 1

environment 1

epsilon 1

escape function 1

evaluator 1

event diagram 1

event diagrams 1

expressions 1

factorial 1

figure 1

fluid variables 1

formula 1

formulas 1

free variables 1

functions 1

hewitt 1

imperative 1

implementation 1

intelligence 1

intelligence laboratory 1

intelligence systems 1

interpreter 1

lemma 1

lexically scoped 1

lisp 1

lisp function 1

logic 1

logic programming 1

massachusetts institute 1

message passing 1

natural numbers 1

normal 1

normal form 1

normal forms 1

notion 1

open 1

open system 1

open systems 1

parallel 1

parallel architectures 1

passing messages 1

passing semantics 1

plasma 1

predicate 1

primitive operator 1

primitive operators 1

problem solving 1

process 1

programming language 1

programming languages 1

proof system 1

recursive 1

reducible 1

reduction 1

reduction sequence 1

reduction step 1

reference manual 1

role 1

role logic 1

scheme 1

semantic 1

semantics 1

shape analysis 1

shared memory 1

shared resources 1

side effects 1

steele december 1

structure 1

substitution semantics 1

sussman march 1

term 1

theorem 1

translation 1

type 1

type error 1

type errors 1

typed lambda 1

ultimate 1

ultimate imperative 1

unary function 1

unary predicate 1

variable 1

variables 1

von neumann 1

Naval Postgraduate School, Dudley Knox Library

by
Barrow, Theodore H.;Yurchak, John M.;Zyda, Michael J.

Fetching more results